Nonstandard Analysis in ACL2
An Algorithm for Dual Transformation in First-Order Logic
Resolution for Skeptical Stable Model Semantics
Author Index to Volume 27
Subject Index to Volume 27
Contents to Volume 27