Ramanujam, R and Sarukkai, Sundar, eds. (2009) Logic and Its Applications. Lecture Notes in Artificial Intelligence, 5378 . Springer-Verlag, Berlin Heidelberg. ISBN 978-3540927006
