Using Prolog to Represent and Reason about Protein Structure. - Christopher J. Rawlings; W. R. Taylor; J. Nyakairu; John Fox 001; Michael J. E. Sternberg (ICLP, 1986)

Accurate modelling of interconnection networks in vector supercomputers. - J. E. Smith; W. R. Taylor (ICS, 1991)

Characterizing memory performance in vector multiprocessors. - J. E. Smith; W. R. Taylor (ICS, 1992)