@article{1363967,
      author = {Fitting, Melvin,},
      url = {http://library.usi.edu/record/1363967},
      title = {First-order logic and automated theorem proving /},
      recid = {1363967},
      pages = {1 online resource (336 pages) :},
}