@misc{_From,
 howpublished={online},
 publisher={Uniwersytet w Białymstoku},
 language={eng},
 type={czasopismo},
 title={From insight to proof : Festschrift in honour of Andrzej Trybulec},
 keywords={Trybulec, Andrzej, Język programowania - matematyka, Języki programowania logicznego, Matematyka - informatyka},
}