Home
DCC eCatalog
N.__Lindenstrauss
TermiLog: a system for checking termination of queries to logic programs
