Title: The journal of logic programming
Subjects: Logic programming, Periodicals, Computer programming