Inductive constraint logic (1995)

by L De Raedt, W Van Laer
Venue:In ALT95, volume 997 of LNAI. SV