General Model Theoretic Semantics for Higher-Order Horn Logic Programming.

Mino Bai, Howard A. Blair

Browse the full LPAR paper archive.