%0 Journal Article %1 journals/ijait/GotliebMS20 %A Gotlieb, Arnaud %A Marijan, Dusica %A Spieker, Helge %D 2020 %J Int. J. Artif. Intell. Tools %K dblp %N 03n04 %P 2060006:1-2060006:23 %T ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators. %U http://dblp.uni-trier.de/db/journals/ijait/ijait29.html#GotliebMS20 %V 29

@article{journals/ijait/GotliebMS20, added-at = {2020-07-03T00:00:00.000+0200}, author = {Gotlieb, Arnaud and Marijan, Dusica and Spieker, Helge}, biburl = {https://www.bibsonomy.org/bibtex/27766164c7074405cb1dc88049a8cf839/dblp}, ee = {https://doi.org/10.1142/S0218213020600064}, interhash = {1bad30a8c8ac99faec4b514c86e716f7}, intrahash = {7766164c7074405cb1dc88049a8cf839}, journal = {Int. J. Artif. Intell. Tools}, keywords = {dblp}, number = {03n04}, pages = {2060006:1-2060006:23}, timestamp = {2020-07-04T11:53:51.000+0200}, title = {ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators.}, url = {http://dblp.uni-trier.de/db/journals/ijait/ijait29.html#GotliebMS20}, volume = 29, year = 2020 }