P
Initializing...
Appendix, Tables 1–3: the 192 concrete rewriting rules · Prove2Me