author = {B. Buchberger},
title = {{The L-Machine for Parallel Inference}},
language = {english},
year = {1984},
month = {December},
annote = {1984-00-00-D},
note = {Invited talk at Fifth Generation and Supercomputer Conference, Rotterdam, The Netherlands},
conferencename = {Fifth Generation and Supercomputer Conference, Rotterdam, The Netherlands}