Transactions on Advanced Research
Lutovac A., Tatjana:
"Specifying Sequent Calculi Rules for Managing Some Redundancies in Proof Search"
Submited Paper (click here to see)
Input the password here to see reviews: