"Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic."

Xinran Ning et al. (2018)

Details and statistics

DOI: 10.3390/SYM10110553

access: open

type: Journal Article

metadata version: 2020-01-07