Title: Logic and Databases
First published: June 17, 2007