| |
| 1977 | ||
|---|---|---|
| 3 | Keith L. Clark, Sharon Sickel: Predicate Logic: A Calculus for the Formal Derivation of Programs. IJCAI 1977: 419-420 | |
| 2 | Sharon Sickel: Formal Grammars as Models of Logic Derivations. IJCAI 1977: 544-551 | |
| 1976 | ||
| 1 | Sharon Sickel: A Search Technique for Clause Interconnectivity Graphs. IEEE Trans. Computers 25(8): 823-835 (1976) | |
| 1 | Keith L. Clark | [3] |