Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts
Representing and Building Models for Decidable Subclasses of Equational Clausal Logic
Octopus