Logic programming the 12th international conference - Sterling, Leon S. (The MIT Press, 1995)