Carlos Areces, Pascal Fontaine, Stephan Merz. Modal Satisfiability via SMT Solving.
Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, 8950, Springer, pp.30-45, 2015, Lecture Notes in Computer Science,
⟨10.1007/978-3-319-15545-6_5⟩.
⟨hal-01127966⟩