Loogikaprogrammi minimaalne semantika
Henno, Jaak
Тезисы докладов конференции "Методы алгебры и анализа", 21-23 сентября 1988
1988
/
с. 37-38
https://www.ester.ee/record=b1229448*est