Extensions of Logic ProgrammingLars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister · First published 2014Open the Tome