Logic programming : PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING - Sterling, Leon (The MIT Press, 1995)