%0 Journal Article %1 journals/ijis/LiuD95 %A Liu, James N. K. %A Dillon, Tharam S. %D 1995 %J Int. J. Intell. Syst. %K dblp %N 4 %P 399-442 %T Formal description and verification of production systems. %U http://dblp.uni-trier.de/db/journals/ijis/ijis10.html#LiuD95 %V 10

@article{journals/ijis/LiuD95, added-at = {2014-10-20T00:00:00.000+0200}, author = {Liu, James N. K. and Dillon, Tharam S.}, biburl = {https://www.bibsonomy.org/bibtex/2fd3569f2b1eb72acc948195adcfba1cc/dblp}, ee = {http://dx.doi.org/10.1002/int.4550100404}, interhash = {e3387bd42a81c57824c9a3ae6db7db12}, intrahash = {fd3569f2b1eb72acc948195adcfba1cc}, journal = {Int. J. Intell. Syst.}, keywords = {dblp}, number = 4, pages = {399-442}, timestamp = {2015-06-18T07:05:49.000+0200}, title = {Formal description and verification of production systems.}, url = {http://dblp.uni-trier.de/db/journals/ijis/ijis10.html#LiuD95}, volume = 10, year = 1995 }