Time and logic : a computational approach - Bolc, Leonard; Szaas, Andrzej (London : UCL Press, 1995)
Includes bibliographical references and index
Keywords: Logic programming; Time