@article{DBLP:journals/jsc/Belle25,
  author       = {Vaishak Belle},
  title        = {A propositional encoding for first-order clausal entailment over infinitely
                  many constants},
  journal      = {J. Symb. Comput.},
  volume       = {130},
  pages        = {102434},
  year         = {2025},
  url          = {https://doi.org/10.1016/j.jsc.2025.102434},
  doi          = {10.1016/J.JSC.2025.102434},
  timestamp    = {Tue, 01 Apr 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/Belle25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"35GLnFFeJDQWLyDNh","bibbaseid":"belle-apropositionalencodingforfirstorderclausalentailmentoverinfinitelymanyconstants-2025","author_short":["Belle, V."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"title":"A propositional encoding for first-order clausal entailment over infinitely many constants","journal":"J. Symb. Comput.","volume":"130","pages":"102434","year":"2025","url":"https://doi.org/10.1016/j.jsc.2025.102434","doi":"10.1016/J.JSC.2025.102434","timestamp":"Tue, 01 Apr 2025 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/jsc/Belle25.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jsc/Belle25,\n author = {Vaishak Belle},\n title = {A propositional encoding for first-order clausal entailment over infinitely\n many constants},\n journal = {J. Symb. Comput.},\n volume = {130},\n pages = {102434},\n year = {2025},\n url = {https://doi.org/10.1016/j.jsc.2025.102434},\n doi = {10.1016/J.JSC.2025.102434},\n timestamp = {Tue, 01 Apr 2025 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/jsc/Belle25.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belle, V."],"key":"DBLP:journals/jsc/Belle25","id":"DBLP:journals/jsc/Belle25","bibbaseid":"belle-apropositionalencodingforfirstorderclausalentailmentoverinfinitelymanyconstants-2025","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.jsc.2025.102434"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/52/570.bib","dataSources":["ayruv4JDJNMLz7ieC"],"keywords":[],"search_terms":["propositional","encoding","first","order","clausal","entailment","over","infinitely","many","constants","belle"],"title":"A propositional encoding for first-order clausal entailment over infinitely many constants","year":2025}