SAT techniques for knowledge base verification

MLA

Tveretina, O., and H. Zantema. SAT Techniques for Knowledge Base Verification. Jan. 2002. 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........ec2ac66f85a8491e4806e2881d7d43fe&authtype=sso&custid=ns315887.

APA

Tveretina, O., & Zantema, H. (2002). SAT techniques for knowledge base verification.

Chicago

Tveretina, O., and H. Zantema. 2002. “SAT Techniques for Knowledge Base Verification,” 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........ec2ac66f85a8491e4806e2881d7d43fe&authtype=sso&custid=ns315887.