An experiment with the Boyer-Moore theorem prover: A proof of Wilson's theorem David M. Russinoff OriginalPaper Pages: 121 - 139
The concept and implementation of skeletal plans Peter E. FriedlandYumi Iwasaki OriginalPaper Pages: 161 - 208