by Billingsley, William, Robinson, Peter
Published in Journal of automated reasoning (01.08.2007)

by Blanchette, Jasmin Christian, Popescu, Andrei, Traytel, Dmitriy
Published in Journal of automated reasoning (01.01.2017)

by Felty, Amy, Momigliano, Alberto
Published in Journal of automated reasoning (01.01.2012)

by Schaller, P., Schmidt, B., Basin, D., Capkun, S.
Published in 2009 22nd IEEE Computer Security Foundations Symposium (01.07.2009)

by Blanchette, Jasmin Christian, Gheri, Lorenzo, Popescu, Andrei, Traytel, Dmitriy
Published in Proceedings of ACM on programming languages (02.01.2019)

by Fuenmayor, David
Published in Logic journal of the IGPL (29.08.2023)

by Simon Tobias Lund, Villadsen, Jørgen
Published in arXiv.org (08.04.2024)

by Urban, Christian, Narboux, Julien
Published in Electronic notes in theoretical computer science (04.08.2009)

by Fuenmayor, David
Year of Publication 09.04.2021

by Marcel von Maltitz, Diekmann, Cornelius, Carle, Georg
Published in arXiv.org (09.02.2017)

by Basin, David, Capkun, Srdjan, Schaller, Patrick, Schmidt, Benedikt
Published in ACM transactions on information and system security (01.09.2011)

by Fuenmayor, David
Published in arXiv.org (21.07.2023)

by Dawson, Jeremy E.
Published in Theorem Proving in Higher Order Logics (2007)

by Klein, Gerwin, Nipkow, Tobias
Published in Concrete Semantics (2014)