The overall objective of this project is the development of a method that allows for the systematic generation of a goal-directed proof procedure for a given logic. This systematic method will provide a means to perspicuously formulate an inference system and a matching heuristics for a given logic.