On the Expressiveness of Levesque's Normal Form

Open in new window