IS DEFAULT LOGIC A REINVENTION OF INDUCT
β
Yao-Hua Tan
π
Article
π
1997
π
Springer Netherlands
π
English
β 129 KB