%% Copyright (C) 2025-2025 Boud Roukema <boud@cosmo.torun.pl>
%%
%% Copying and distribution of this file, with or without modification,
%% are permitted in any medium without royalty provided the copyright
%% notice and this notice are preserved.  This file is offered as-is,
%% without any warranty.

@ARTICLE{cassowary2001,
   author = {{Grudin}, Jonathan and {Badros}, Greg J. and {Borning}, Alan and {Stuckey}, Peter J.},
    title = "{The Cassowary linear arithmetic constraint solving algorithm}",
    journal = {ACM Transactions on Computer-Human Interaction},
       year = 2001,
      month = dec,
     volume = {8},
     number = {4},
      pages = {267-306},
        doi = {10.1145/504704.504705},
}