Минимальная семантика логических программ
Henno, Jaak
II Всесоюзная конференция по прикладной логике, Новосибирск, 7-9 июня 1988 г. : тезисы докладов
1988
/
с. 231-232
https://www.ester.ee/record=b2681097*est