MOSZKOWSKI.B.C EXECUTING TEMPORAL LOGIC PROGRAMS - LONDON Cambridge University Press 1986 - 23X15 Dewey Class. No.: 621.3819642 M894