Structural Logic program

March 4, 2013
George I. Seffers