DOI,IST REx ID,Research Group,Title of publication
null,20296,"ChLa,ToHe",Logic gate neural networks are good for verification