%0 Journal Article %1 journals/acj/Bromley01 %A Bromley, Allan G. %D 2001 %J J. Res. Pract. Inf. Technol. %K dblp %N 4 %P 325-328 %T A Logic MiniTrainer. %U http://dblp.uni-trier.de/db/journals/acj/acj33.html#Bromley01 %V 33

@article{journals/acj/Bromley01, added-at = {2020-03-04T00:00:00.000+0100}, author = {Bromley, Allan G.}, biburl = {https://www.bibsonomy.org/bibtex/28d4e204a08bc58ba48f5428ca9c71bb8/dblp}, interhash = {e4dc2546b5018e73739b45aea336a17f}, intrahash = {8d4e204a08bc58ba48f5428ca9c71bb8}, journal = {J. Res. Pract. Inf. Technol.}, keywords = {dblp}, number = 4, pages = {325-328}, timestamp = {2020-03-05T11:51:32.000+0100}, title = {A Logic MiniTrainer.}, url = {http://dblp.uni-trier.de/db/journals/acj/acj33.html#Bromley01}, volume = 33, year = 2001 }