A Search Technique for Clause Interconnectivity Graphs. - Sharon Sickel (IEEE Trans. Computers, 1976)

Predicate Logic: A Calculus for the Formal Derivation of Programs. - Keith L. Clark; Sharon Sickel (IJCAI, 1977)

Formal Grammars as Models of Logic Derivations. - Sharon Sickel (IJCAI, 1977)