@UNPUBLISHED{Schmidt98b,
AUTHOR = {Schmidt, R. A.},
YEAR = {1998},
TITLE = {Ordered {$E$}-Resolution and Path Logics},
NOTE = {Manuscript.  Submitted for publication.},
}