Cited in
(19)- scientific article; zbMATH DE number 7471678 (Why is no real title available?)
- Superposition with first-class booleans and inprocessing clausification
- Superposition for full higher-order logic
- qbf2epr
- The embedding path order for \(\lambda\)-free higher-order terms
- NiVER
- StarExec
- HOT
- Superposition with structural induction
- Lambda Free RPOs
- ZRes
- ArchSAT
- ekstrakto
- scientific article; zbMATH DE number 7350767 (Why is no real title available?)
- Making higher-order superposition work
- Superposition with lambdas
- Superposition for \(\lambda\)-free higher-order logic
- Superposition with lambdas
- Making higher-order superposition work
This page was built for software: Zipperposition
