A Theory of First-Order Built-in's of Prolog (1992)

Cached

Download Links

by Krzysztof R. Apt , Elena Marchiori , Catuscia Palamidessi
Citations:7 - 3 self