abcd.proof.xml
aoto_15.proof.xml
aoto_8.proof.xml
aoto_9.proof.xml
aoto_improved.proof.xml
confluence.proof.xml
cops_62_fscd_2022.proof.xml
critical_pair_closing_system.proof.xml
development_closed.proof.xml
div_ortho.proof.xml
fscd_2022_ex_32.proof.xml
fscd_2022_ex_39.proof.xml
gramlich_pcp.proof.xml
modular_ncr.proof.xml
non_confluent.proof.xml
non_cr.proof.xml
non_join_quasi.proof.xml
non_wcr.proof.xml
parallel_closed.proof.xml
pcp_extra_vars.proof.xml
pcp_rule_lab.proof.xml
persistentDecomposition.proof.xml
persistentDecompositionNotCR.proof.xml
redundant_rules_cr.proof.xml
redundant_rules_ncr.proof.xml
rule_labeling.proof.xml
rule_labeling_conv.proof.xml
rule_labeling_ll.proof.xml
strongly_closed.proof.xml
strongly_closed2.proof.xml
toyama_pcp.proof.xml
