"Program optimization for temporal reasoning within a logic programming ..."

Anke D. Rieger (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics