%0 Conference Paper %1 conf/ijclr/WongLB23 %A Wong, Wan Ki %A Li, Xue %A Bundy, Alan %B COGAI@IJCLR %D 2023 %E León-Villagrá, Pablo %E Li, Xue %I CEUR-WS.org %K dblp %T Automating Theory Repair in First Order Logic. %U http://dblp.uni-trier.de/db/conf/ijclr/cogai2023.html#WongLB23 %V 3644

@inproceedings{conf/ijclr/WongLB23, added-at = {2024-04-12T00:00:00.000+0200}, author = {Wong, Wan Ki and Li, Xue and Bundy, Alan}, biburl = {https://www.bibsonomy.org/bibtex/25ec2e15b341262868e68da119c696046/dblp}, booktitle = {COGAI@IJCLR}, crossref = {conf/ijclr/2023cogai}, editor = {León-Villagrá, Pablo and Li, Xue}, ee = {https://ceur-ws.org/Vol-3644/IJCLR2023_paper_42_new.pdf}, interhash = {93f7895a34bf357de52d552365663afc}, intrahash = {5ec2e15b341262868e68da119c696046}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-29T07:13:53.000+0200}, title = {Automating Theory Repair in First Order Logic.}, url = {http://dblp.uni-trier.de/db/conf/ijclr/cogai2023.html#WongLB23}, volume = 3644, year = 2023 }