Was the paper 'KtSeqC: System Description' not not published by the person Gor\u00E9, Rajeev?
Didn't Rajeev Gor\u00E9 not publish the paper 'KtSeqC: System Description'?
ASK { <https://dblp.org/rec/conf/tableaux/BoyapatiG99> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/g/RajeevGore> }
<https://dblp.org/pid/g/RajeevGore> <https://dblp.org/rec/conf/tableaux/BoyapatiG99>