Cite
Satisfiability of the Two-Variable Fragment of First-Order Logic over Trees
MLA
Charatonik, Witold, et al. Satisfiability of the Two-Variable Fragment of First-Order Logic over Trees. 2013. 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=edsarx&AN=edsarx.1304.7204&authtype=sso&custid=ns315887.
APA
Charatonik, W., Kieroński, E., & Mazowiecki, F. (2013). Satisfiability of the Two-Variable Fragment of First-Order Logic over Trees.
Chicago
Charatonik, Witold, Emanuel Kieroński, and Filip Mazowiecki. 2013. “Satisfiability of the Two-Variable Fragment of First-Order Logic over Trees.” 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=edsarx&AN=edsarx.1304.7204&authtype=sso&custid=ns315887.