@inproceedings{sakama2017,
  title={Linear algebraic characterization of logic programs},
  author={Sakama, Chiaki and Inoue, Katsumi and Sato, Taisuke},
  booktitle={International Conference on Knowledge Science, Engineering and Management},
  pages={520--533},
  year={2017},
  organization={Springer}
}

{"_id":"BWkDWPB5eWp5x8TCE","bibbaseid":"sakama-inoue-sato-linearalgebraiccharacterizationoflogicprograms-2017","author_short":["Sakama, C.","Inoue, K.","Sato, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Linear algebraic characterization of logic programs","author":[{"propositions":[],"lastnames":["Sakama"],"firstnames":["Chiaki"],"suffixes":[]},{"propositions":[],"lastnames":["Inoue"],"firstnames":["Katsumi"],"suffixes":[]},{"propositions":[],"lastnames":["Sato"],"firstnames":["Taisuke"],"suffixes":[]}],"booktitle":"International Conference on Knowledge Science, Engineering and Management","pages":"520–533","year":"2017","organization":"Springer","bibtex":"@inproceedings{sakama2017,\n title={Linear algebraic characterization of logic programs},\n author={Sakama, Chiaki and Inoue, Katsumi and Sato, Taisuke},\n booktitle={International Conference on Knowledge Science, Engineering and Management},\n pages={520--533},\n year={2017},\n organization={Springer}\n}\n","author_short":["Sakama, C.","Inoue, K.","Sato, T."],"key":"sakama2017","id":"sakama2017","bibbaseid":"sakama-inoue-sato-linearalgebraiccharacterizationoflogicprograms-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/f/mAv4xsa3qE3YSqF2q/biblio.bib","dataSources":["79oQCSkNzzoZHJw69","SC4vtg3To6xYfQL7G"],"keywords":[],"search_terms":["linear","algebraic","characterization","logic","programs","sakama","inoue","sato"],"title":"Linear algebraic characterization of logic programs","year":2017}