TY  - BOOK
AU  - Warren,David H.D.
AU  - Szeredi,Peter
ED  - International Conference on Logic Programming
TI  - Logic programming: proceedings of the Seventh International Cconference 
T2  - Logic Programming
SN  - 0262730901
PY  - 1990///
CY  - Cambridge, MA, London
PB  - MIT Press
KW  - Programowanie logiczne
KW  - konferencje
KW  - kaba
N1  - Bibliogr. przy rozdz. Indeks
ER  -