The Implication Problem for Functional a
β
Chandra, Ashok K.; Vardi, Moshe Y.
π
Article
π
1985
π
Society for Industrial and Applied Mathematics
π
English
β 838 KB