Inductive constraint logic (1995)

by L De Raedt, W Van Laer
Venue:Lecture Notes in Computer Science