The decision problem for formulas with a small number of atomic subformulas

MLA

Harry R. Lewis, and Warren D. Goldfarb. “The Decision Problem for Formulas with a Small Number of Atomic Subformulas.” Journal of Symbolic Logic, vol. 38, Sept. 1973, pp. 471–80. 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...........7f47897553ae47f3995180f818ebd638&authtype=sso&custid=ns315887.

APA

Harry R. Lewis, & Warren D. Goldfarb. (1973). The decision problem for formulas with a small number of atomic subformulas. Journal of Symbolic Logic, 38, 471–480.

Chicago

Harry R. Lewis, and Warren D. Goldfarb. 1973. “The Decision Problem for Formulas with a Small Number of Atomic Subformulas.” Journal of Symbolic Logic 38 (September): 471–80. 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...........7f47897553ae47f3995180f818ebd638&authtype=sso&custid=ns315887.