Logic Programming: The 1996 International Symposium | lit.salon