Return to Article Details On the Expressiveness of Levesque's Normal Form Download Download PDF