Plaisted, David Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-235.pdf (Any fulltext), 248KB
Plaisted, D.(1994). Ordered semantic hyper-linking (MPI-I-94-235). Saarbrücken: Max-Planck-Institut für Informatik.