Eric Bodden, Florian Forster, Friedrich Steimann. Avoiding Infinite Recursion with Stratified Aspects. In Robert Hirschfeld, Andreas Polze, Ryszard Kowalczyk, editors, Conference Proceedings NODe 2006, GSEM 2006, Erfurt, Germany, September 18-20, 2006. Volume 88 of LNI, pages 49-64, GI, 2006.
Abstract is missing.