Sharon Sickel

Predicate logic: a calculus for deriving programs

K. Clark, Sharon Sickel, 1977, IJCAI 1977.

Predicate Logic: A Calculus for the Formal Derivation of Programs

Keith L. Clark, Sharon Sickel, K. Clark, 1977, International Joint Conference on Artificial Intelligence.

A Search Technique for Clause Interconnectivity Graphs

Sharon Sickel, Sharon Sickel, 1976, IEEE Transactions on Computers.