Lilia Georgieva Ullrich Hustadt Renate A. Schmidt Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. 85-99 2001 conf/lpar/2001 LPAR http://link.springer.de/link/service/series/0558/bibs/2250/22500085.htm db/conf/lpar/lpar2001.html#GeorgievaHS01