Thomas Baar, Ekkart Kindler, Hagen Völzer. Verifying Intuition - ILF Checks DAWN Proofs. In Susanna Donatelli, H. C. M. Kleijn, editors, Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN 99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings. Volume 1639 of Lecture Notes in Computer Science, pages 404-424, Springer, 1999. [doi]
Abstract is missing.