Login / Signup

Formalizing a Logic for Logic Programming.

John S. Schlipf
Published in: Ann. Math. Artif. Intell. (1992)
Keyphrases