Solving Satisfiability of Ground Term Algebras Using DPLL and Unification

MLA

Badban, Bahareh, et al. Solving Satisfiability of Ground Term Algebras Using DPLL and Unification. Jan. 2004. 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.narcis........77d67a402d92215a598cda2ae2fee4c2&authtype=sso&custid=ns315887.

APA

Badban, B., Pol, J., Tveretina, O., & Zantema, H. (2004). Solving Satisfiability of Ground Term Algebras Using DPLL and Unification.

Chicago

Badban, Bahareh, Jaco Pol, O. Tveretina, and Hans Zantema. 2004. “Solving Satisfiability of Ground Term Algebras Using DPLL and Unification,” 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.narcis........77d67a402d92215a598cda2ae2fee4c2&authtype=sso&custid=ns315887.