Computer Science Logic - Duparc, Jacques (Springer Berlin Heidelberg, 2007)