A BDD-representation for the logic of equality and uninterpreted functions

MLA

Pol, van de, J. C., et al. A BDD-Representation for the Logic of Equality and Uninterpreted Functions. Jan. 2005. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....ddd211335185371f66cedef795785711&authtype=sso&custid=ns315887.

APA

Pol, van de, J. C., Tveretina, O., Jedrzejowicz, J., & Szepietowski, A. (2005). A BDD-representation for the logic of equality and uninterpreted functions.

Chicago

Pol, van de, J.C., O. Tveretina, J. Jedrzejowicz, and A. Szepietowski. 2005. “A BDD-Representation for the Logic of Equality and Uninterpreted Functions,” January. http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsair&AN=edsair.doi.dedup.....ddd211335185371f66cedef795785711&authtype=sso&custid=ns315887.