Return to Article Details ON OPTIMIZATION OF MONADIC LOGIC PROGRAMS Download Download PDF