Deriving a Correct Logic Program from the Formal Specification of a Non-Linear Planner.

Thomas Leo McCluskey

Browse the full ISMIS paper archive.