/****************************************************************
* This collection is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* Collection : all_kb_ab_rhoANF
* Domain     : all KBs over {a,b} in rhoNF and ANF
* Type       : KB
* Date       : 2023-12-06
* Version    : v1.0
* 
* Files in collection   : all_kb_ab_rhoANF_<*>.cl
* #Files in collection  : 2
* #KBs in collection    : 676951
* Conds/KB in collection: 1 - 11
* 
* Refs       : [BK19] Beierle, Kutsch (2019). On the Antecedent normal form of Conditional Knowledge Bases (DOI: 10.1007/978-3-030-29765-7_15)
*              [BH20] Beierle, Haldimann (2020). Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings (DOI: 10.1007/978-3-030-39951-1_2)
* 
* Comments: 
*
****************************************************************/