SLX - Universidade NOVA de Lisboa

Download PDF
8 downloads 30059 Views 564KB Size Report
Comment
since the default literal not L was failed. and caused an extra “call”. Note that. for SLX-T-refutations this increment is not considered. The issue of incrementing ...