Foundations for Decision Problems in Separation Logic with General Inductive Predicates
Timos Antonopoulos‚ Nikos Gorogiannis‚ Christoph Haase‚ Max I. Kanovich and Joël Ouaknine
Book Title
Foundations of Software Science and Computation Structures‚ FOSSACS
Pages
411–425
Publisher
Springer
Series
Lect. Notes Comp. Sci.
Volume
8412
Year
2014