%0 Conference Paper %1 conf/aiia/Nienhuys-ChengLT93 %A Nienhuys-Cheng, Shan-Hwei %A van der Laag, Patrick R. J. %A van der Torre, Leendert W. N. %B AI*IA %D 1993 %E Torasso, Pietro %I Springer %K dblp %P 178-189 %T Constructing Refinement Operators by Decomposing Logical Implication. %U http://dblp.uni-trier.de/db/conf/aiia/aiia1993.html#Nienhuys-ChengLT93 %V 728 %@ 3-540-57292-9

@inproceedings{conf/aiia/Nienhuys-ChengLT93, added-at = {2021-04-09T00:00:00.000+0200}, author = {Nienhuys-Cheng, Shan-Hwei and van der Laag, Patrick R. J. and van der Torre, Leendert W. N.}, biburl = {https://www.bibsonomy.org/bibtex/22936ead70e1da1906f3ab0b9a52f5162/dblp}, booktitle = {AI*IA}, crossref = {conf/aiia/1993}, editor = {Torasso, Pietro}, ee = {https://doi.org/10.1007/3-540-57292-9_56}, interhash = {0f39e9be412bec42b8d88f10c90cc464}, intrahash = {2936ead70e1da1906f3ab0b9a52f5162}, isbn = {3-540-57292-9}, keywords = {dblp}, pages = {178-189}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:39:45.000+0200}, title = {Constructing Refinement Operators by Decomposing Logical Implication.}, url = {http://dblp.uni-trier.de/db/conf/aiia/aiia1993.html#Nienhuys-ChengLT93}, volume = 728, year = 1993 }