author : Ben Moszkowski

Books

• Executing Temporal Logic Programs. 1986