author = {B. Buchberger and K. Nakagawa},
title = {{Logicographic Symbols: A New Concept in Logic Syntax}},
language = {english},
year = {2000},
month = {May 25},
annote = {2000-05-25-A},
note = {Contributed talk at INTAS Workshop},
institution = {Kiev},
conferencename = {INTAS Workshop}