1987
Semantics for logic programs without occur check
Publication
Publication
| Additional Metadata | |
|---|---|
| CWI | |
| Department of Computer Science [CS] | |
|
Weijland, W. P. (1987). Semantics for logic programs without occur check. In Department of Computer Science [CS] (R 8740). CWI. |
|