Moszkowski, B. (2012). A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time. Logical Methods in Computer Science e.V.
Chicago Style (17th ed.) CitationMoszkowski, Ben. A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time. Logical Methods in Computer Science e.V, 2012.
MLA (9th ed.) CitationMoszkowski, Ben. A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time. Logical Methods in Computer Science e.V, 2012.
Warning: These citations may not always be 100% accurate.