%0 Journal Article %1 journals/isci/Liu04 %A Liu, Faye F. %D 2004 %J Inf. Sci. %K dblp %N 3-4 %P 227-247 %T Making assumptions in the automated derivation. %U http://dblp.uni-trier.de/db/journals/isci/isci162.html#Liu04 %V 162

@article{journals/isci/Liu04, added-at = {2020-10-26T00:00:00.000+0100}, author = {Liu, Faye F.}, biburl = {https://www.bibsonomy.org/bibtex/2c4394e51433e21e6a9d098a80fb4a41b/dblp}, ee = {https://doi.org/10.1016/j.ins.2003.09.009}, interhash = {5405abb1e23f44a8733999680b2c1065}, intrahash = {c4394e51433e21e6a9d098a80fb4a41b}, journal = {Inf. Sci.}, keywords = {dblp}, number = {3-4}, pages = {227-247}, timestamp = {2020-10-27T11:49:27.000+0100}, title = {Making assumptions in the automated derivation.}, url = {http://dblp.uni-trier.de/db/journals/isci/isci162.html#Liu04}, volume = 162, year = 2004 }