Baumgartner, Peter Programming Logics, MPI for Informatics, Max Planck Society;
de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
Ahrendt, W., Baumgartner, P., & de Nivelle, H. (Eds.). (2006). IJCAR'06 Workshop: Disproving'06: Non-Theorems, Non-Validity, Non-Provability. Seattle, USA: The 2006 Federated Logic Conference.