@conference {433,
	title = {Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics},
	booktitle = {Recent Trends in Algebraic Development Techniques, 21st International Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers},
	year = {2012},
	doi = {10.1007/978-3-642-37635-1_12},
	url = {http://dx.doi.org/10.1007/978-3-642-37635-1_12},
	author = {Carlos Gustavo L{\'o}pez Pombo and Pablo F. Castro and Nazareno Aguirre and T. S. E. Maibaum}
}