A Low Level Language for Obtaining Decision Procedure for Classes of temporal Logics

• Authors:

• David A. Plaisted

• Affiliations:

• -

• Venue:
• Proceedings of the Carnegie Mellon Workshop on Logic of Programs
• Year:
• 1983