Antonio Mendes da Silva Filho On Using Logic Programming in Real-Time Systems. 110-119 1994 Workshop on Design and Impl. of Parallel Logic Programming Systems db/conf/slp/slp94-w5.html#Filho94