%0 Journal Article %1 journals/corr/abs-2011-01489 %A Nofal, Samer %A Jabal, Amani Abu %A Alfarrarjeh, Abdullah %A Hababeh, Ismail Omar %D 2020 %J CoRR %K dblp %T Formal Validation of Recursive Backtracking Algorithms: The Case of Listing Stable Extensions in the Directed Graphs of Argumentation Frameworks. %U http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-01489 %V abs/2011.01489

@article{journals/corr/abs-2011-01489, added-at = {2024-02-20T00:00:00.000+0100}, author = {Nofal, Samer and Jabal, Amani Abu and Alfarrarjeh, Abdullah and Hababeh, Ismail Omar}, biburl = {https://www.bibsonomy.org/bibtex/2ea5c13d8ed7dd97cc5253dc760bdc872/dblp}, ee = {https://arxiv.org/abs/2011.01489}, interhash = {427529305374dd06145267a222f11b15}, intrahash = {ea5c13d8ed7dd97cc5253dc760bdc872}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:02:33.000+0200}, title = {Formal Validation of Recursive Backtracking Algorithms: The Case of Listing Stable Extensions in the Directed Graphs of Argumentation Frameworks.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-01489}, volume = {abs/2011.01489}, year = 2020 }