A Temporal Extension of Prolog.

Tomas Hrycej
Published in: J. Log. Program. (1993)
Keyphrases