@misc{Steingartner_William_Linear,
 author={Steingartner William and Polakova Andera and Praznak Peter and Novitzka Valerie},
 howpublished={online},
 publisher={Wydaw. Politechniki Częstochowskiej},
 language={eng},
 type={czasopismo},
 title={Linear logic in computer science},
 keywords={linear logic, resources, proofs},
}