1 results
Making ProB Compatible with SWI-Prolog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 5 / September 2022
- Published online by Cambridge University Press:
- 27 June 2022, pp. 755-769
-
- Article
-
- You have access
- Open access
- HTML
- Export citation