%0 Conference Paper %1 conf/istcs/CodishL96 %A Codish, Michael %A Lagoon, Vitaly %B ISTCS %D 1996 %I IEEE Computer Society %K dblp %P 136-145 %T Type Dependencies for Logic Programs Using ACI-Unification. %U http://dblp.uni-trier.de/db/conf/istcs/istcs1996.html#CodishL96 %@ 0-8186-7610-8

@inproceedings{conf/istcs/CodishL96, added-at = {2016-05-31T00:00:00.000+0200}, author = {Codish, Michael and Lagoon, Vitaly}, biburl = {https://www.bibsonomy.org/bibtex/23aec96d755ec2de15eb4d372a5add573/dblp}, booktitle = {ISTCS}, crossref = {conf/istcs/1996}, interhash = {a322b47ef2a9f96487ad82ea0a7e089e}, intrahash = {3aec96d755ec2de15eb4d372a5add573}, isbn = {0-8186-7610-8}, keywords = {dblp}, pages = {136-145}, publisher = {IEEE Computer Society}, timestamp = {2016-06-01T11:46:52.000+0200}, title = {Type Dependencies for Logic Programs Using ACI-Unification.}, url = {http://dblp.uni-trier.de/db/conf/istcs/istcs1996.html#CodishL96}, year = 1996 }