T. Eiter, K. Makino, G. Gottlob: "Computational Aspects of Monotone Dualization: A Brief Survey"; Report for INFSYS RR-1843-06-01, Institut fuer Informationssysteme, Technische Universitaet Wien; Report No. INFSYS RR-1843-06-01, 2006.