Rewriting logic bibliography by topic: 1990--2011
scientific article; zbMATH DE number 6126073