id: 71003115
dt: a
an: 71003115
au: Kozen, Dexter
ti: Set constraints and logic programming
so: CCL, 302-303 (1994).
py: 1994
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/BFb0016861