TPTP Reference: Ste22
@InProceedings{Ste22,
Author = {Alexander Steen},
Year = "2022",
Title = {An Extensible Logic Embedding Tool for Lightweight
Non-Classical Reasoning (Short Paper)},
Editor = "Konev, B. and Schon, C. and Steen, A.",
BookTitle = "{Proceedings of the 8th Workshop on Practical Aspects of
Automated Reasoning}",
Place = "Haifa, Israel",
Series = "CEUR Workshop Proceedings",
Number = "3201",
Pages = "Online",
Comment = "TPTPRef"
}
@Misc{Ste22-LE,
Author = "Steen, A.",
Year = "2022",
Title = "{logic-embedding v1.6}",
Version = "v1.6",
Publisher = "Zenodo",
Note = "{DOI: 10.5281/zenodo.5913216}",
Comment = ""
}