1. Representing and Reasoning with Probabilistic Knowledge;Bacchus,1990
2. Equations for part-of-speech tagging;Charniak,1994
3. The synthesis and verification of logic programs;Clark,1981
4. Design and synthesis of synchronisation skeletons using branching time temporal logic;Clarke,1982
5. Risk Analysis in the Process Industries: The Report of the International Study Group on Risk Analysis,1985