Brzoska. C. Temporal logic programming with metric and past operators. Universitat Karlsruhe, P.O.Box 6980, D-7500 Karlsruhe, Germany, Jan. 1992

Languages mentioned

• MTL {1992}