1994 | ||
---|---|---|
2 | EE | Krzysztof R. Apt, Alessandro Pellegrini: On the Occur-Check-Free Prolog Programs. ACM Trans. Program. Lang. Syst. 16(3): 687-726 (1994) |
1992 | ||
1 | Krzysztof R. Apt, Alessandro Pellegrini: Why the Occur-Check is Not a Problem. PLILP 1992: 69-86 |
1 | Krzysztof R. Apt | [1] [2] |