1. 2021. BeefLedger. https://beefledger.io/. 2021. BeefLedger. https://beefledger.io/.
2. Logic-based event recognition
3. Possible Models Computation and Revision – A Practical Approach
4. Peter Baumgartner. 2021. The Fusemate Logic Programming System (System Description). https://arxiv.org/abs/2103.01395 Peter Baumgartner. 2021. The Fusemate Logic Programming System (System Description). https://arxiv.org/abs/2103.01395