Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Frank Teusink

Termination of Logic Programs With Delay Declarations

The Journal of Logic Programming

English